mean-ergodic theorem

平均遍历定理